<?php session_start();
include('includes/connexion.php');
$adminmanager = new AdminManager($connexion);
$adminmanager->deconnexion();
header('Location: login.php?msg=Deconnecté');
?>